On Computing Multilinear Polynomials Using Multi- <i>r</i> -ic Depth Four Circuits

نویسندگان

چکیده

In this article, we are interested in understanding the complexity of computing multilinear polynomials using depth four circuits which polynomial computed at every node has a bound on individual degree r ≥ 1 with respect to all its variables (referred as multi- -ic circuits). The goal study is make progress towards proving superpolynomial lower bounds for general polynomials, by better value increases. Recently, Kayal, Saha and Tavenas (Theory Computing, 2018) showed that any arithmetic circuit bounded an explicit n O (1) d must have size least ( / 1.1 ) Ω(√ . This bound, however, deteriorates It natural question ask if can prove does not deteriorate increases, or holds larger regime increasing values , albeit specific instance = but wider range Formally, large enough integers small constant η, show there exists Θ (log 2 such ≤ η exp(Ω(log )). improvement obtained suitably adapting measure Kayal et al. 2018). adaptation inspired used (SIAM J. 2017).

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Constant-Depth Canonical Boolean Circuits for Computing Multilinear Functions

We consider new complexity measures for the model of multilinear circuits with general multilinear gates introduced by Goldreich and Wigderson (ECCC, 2013). These complexity measures are related to the size of canonical constant-depth Boolean circuits, which extend the definition of canonical depth-three Boolean circuits. We obtain matching lower and upper bound on the size of canonical constan...

متن کامل

On the Size of Depth-Three Boolean Circuits for Computing Multilinear Functions

We propose that multi-linear functions of relatively low degree over GF(2) may be goodcandidates for obtaining exponential lower bounds on the size of constant-depth Boolean cir-cuits (computing explicit functions). Specifically, we propose to move gradually from linearfunctions to multilinear ones, and conjecture that, for any t ≥ 2, some explicit t-linear functionsF : ({0, 1}n...

متن کامل

Computing the multilinear factors of lacunary polynomials without heights

We present a deterministic polynomial-time algorithm which computes the multilinear factors of multivariate lacunary polynomials over number fields. It is based on a new Gap theorem which allows to test whether P(X) = ∑j=1 ajX j(vX+ t) j(uX+ w)j is identically zero in polynomial time. Previous algorithms for this task were based on Gap Theorems expressed in terms of the height of the coefficien...

متن کامل

derivations with power values on multilinear polynomials

a polynomial   1 2 ( , , , ) n f x x x is called multilinear if it is homogeneous and linear in every one of its variables. in the present paper our objective is to prove the following result: let   r be a prime k-algebra over a commutative ring   k with unity and let 1 2 ( , , , ) n f x x x be a multilinear polynomial over k. suppose that   d is a nonzero derivation on r such that ...

متن کامل

Arithmetic circuits: A chasm at depth three four

We show that, over Q, if an n-variate polynomial of degree d = nO(1) is computable by an arithmetic circuit of size s (respectively by an algebraic branching program of size s) then it can also be computed by a depth three circuit (i.e. a ΣΠΣ-circuit) of size exp(O( √ d log d log n log s)) (respectively of size exp(O( √ d log n log s))). In particular this yields a ΣΠΣ circuit of size exp(O( √ ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Transactions on Computation Theory

سال: 2021

ISSN: ['1942-3454', '1942-3462']

DOI: https://doi.org/10.1145/3460952